Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

RESEARCH/PUBLICATIONS A. Editorships Editor: Journal of Business Venturing Series Editor, Innovation, Yale University Press Series Editor: New Horizons in Entrepreneurship, Edward Elger Press Co-Editor: Entrepreneurship

Source URL: faculty.darden.virginia.edu

VISUAL COGNITION, 2000, ), 65–81 On the Functional Role of Implicit Visual Memory for the Adaptive Deployment of Attention Across Scenes Marvin M. Chun Yale University, New Haven, CT, USA

Source URL: visionlab.harvard.edu

Lecturer Rebecca L. Dyer, MS, M.Phil, Yale University Office Hours: by appointment

Source URL: rebeccadyer.files.wordpress.com

Building Deterministic Transaction Processing Systems without Deterministic Thread Scheduling Alexander Thomson Yale University

Source URL: cs.yale.edu

Optimal Rates of Convergence for Estimating Toeplitz Covariance Matrices T. Tony Cai1 , Zhao Ren2 and Harrison H. Zhou2 University of Pennsylvania and Yale University Abstract

Source URL: www.stat.yale.edu

The James and Mary Pinchot Fellow in Sustainability Studies at Yale University Yale University invites applications from emerging scholars and early career faculty for appointment as the James and Mary Pinchot Fellow in

Source URL: www.naaas.org

Scavenging for Anonymity with BlogDrop Henry Corrigan-Gibbs and Bryan Ford Yale University New Haven, CT, USA Abstract. Anonymous communication schemes that provide strong traffic analysis resistance (e.g., DCnets and M

Source URL: dedis.cs.yale.edu

• Cryptography
• Dark web
• Cross-platform software
• David Chaum
• Financial cryptography
• Dining cryptographers problem
• Anonymous remailer
• Tor
• Ciphertext
• I2P
• Anonymity
• ElGamal encryption

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

Source URL: flint.cs.yale.edu

• Concurrency control
• Linearizability
• Non-blocking algorithm
• Monitor
• Lock
• Deadlock
• Synchronization
• Thread
• Liveness

The Impact of Regional and Sectoral Productivity Changes on the U.S. Economy Lorenzo Caliendo Yale University Fernando Parro

Source URL: faculty.som.yale.edu